#include "vntlib.h"

constructor test() {}

UNMUTABLE
int32 test_export_3(string a1, address a2) {}

UNMUTABLE
int64 test_export_4(string *a1, int a2, int32 a3) {}

int test_export_5() {}
